101. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
102. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
103. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
104. Formal Concept Analysis:
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
105. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
106. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
107. Formal concept analysis :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
108. Formal concept analysis
Author: / Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
E-BOOK
109. Formal concept analysis
Author: Petko Valtchev, Robert Jeaschke (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
Classification :
QA
،
171
.
5
،.
I55
،
2011
110. Formal concept analysis :
Author: Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses -- Mathematics.,Data mining -- Congresses.,Mathematical analysis -- Congresses.
Classification :
QA76
.
9
.
M35
F567
2012
111. Foundations of information and knowledge systems
Author: Jürgen Dix, Stephen J. Hegner (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems, Congresses.,Databases, Congresses.,Information technology, Congresses.,Knowledge representation (Information theory), Congresses.
112. Frontiers in Algorithmics
Author: \ Jianxin Wang, Chee Yap (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer algorithms -- Congresses.,Discrete Mathematics in Computer Science.,Algorithm Analysis and Problem Complexity.,الگوریتمهای کامپیوتری -- کنگره ها
Classification :
QA
76
.
9
.
F76
2015
E-Book
,
113. Fundamentals of computation theory
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
Classification :
QA
267
.
I57
1985
114. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
115. Future tendencies in computer science, control, and applied mathematics :
Author: A. Bensoussan, J.-P. Verjus (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control-- Congresses.,Computer science-- Congresses.,Mathematics, Congresses.
116. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L4
v
.
653
117. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L28
Vol
.
653
118. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
Classification :
QA
76
.
5
.
I5484
1992
119. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
120. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
